Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
371	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: mirrors.nic.cz Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
372	How to Define Truth-in-L (Tarski’s semantic definition of truth simplified) Let L be the language for which you’re trying to define truth: the object language. Let M be the language in which you’re framing the defi Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2015-04-27 18:24:40 Mathematics Philosophical logic Predicate logic If and only if Semantic theory of truth FO Logical connective Constructible universe Truth Logic Philosophy Theories of truth
373	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.mirror.ac.za Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
374	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
375	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
376	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.univ-lyon1.fr Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
377	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
378	Toward bidirectionalization of ATL with GRoundTram Isao Sasano1 , Zhenjiang Hu2 , Soichiro Hidaka2 , Kazuhiro Inaba2 , Hiroyuki Kato2 , and Keisuke Nakano3 1 3 Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-08-31 02:32:35 Graph rewriting Graph theory Mathematics Systems science Scientific modeling KM3 Model transformation Metamodeling Query language Unified Modeling Language Systems engineering Software engineering
379	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.md.tsukuba.ac.jp Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
380	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: brieger.esalq.usp.br Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra

UPDATE